Axiomatizing t-norm based logic
نویسنده
چکیده
In fuzzy logic in wider sense t norms got a prominent r ole in recent times In many valued logic the Lukasiewicz systems the G odel sytems and also the product logic are t norm based The present paper discusses the more general problem of the adequate axiomatizability for such t norm based logical systems in general survey ing results of the last years
منابع مشابه
Analytic Calculi for Monoidal T-norm Based Logic
Monoidal t-norm based logic MTL is the logic of left continuous t-norms. We introduce two analytic calculi for first-order MTL. These are obtained by lifting two sequent calculi for different fragments of this logic to the hypersequent level with subsequent addition of Avron’s communication rule. Our calculi enable to prove the mid(hyper)sequent theorem. As corollaries follow Herbrand’s theorem...
متن کاملHESITANT FUZZY INFORMATION MEASURES DERIVED FROM T-NORMS AND S-NORMS
In this contribution, we first introduce the concept of metrical T-norm-based similarity measure for hesitant fuzzy sets (HFSs) {by using the concept of T-norm-based distance measure}. Then,the relationship of the proposed {metrical T-norm-based} similarity {measures} with the {other kind of information measure, called the metrical T-norm-based} entropy measure {is} discussed. The main feature ...
متن کاملThe standard completeness of interval-valued monoidal t-norm based logic
In this paper we prove the strong standard completeness of interval-valued monoidal t-norm based logic (IVMTL) and some of its extensions. For other extensions we show that they are not strong standard complete. We also give a local deduction theorem for IVMTL and other extensions of interval-valued monoidal logic. Similar results are obtained for interval-valued fuzzy logics expanded with Baaz...
متن کاملKripke-Style Semantics for Non-Commutative Monoidal t-Norm Logic
A t-norm is a binary operation on [0, 1] that is associative, commutative, with identity 1 and non-decreasing in both argument. The notion of t-norm is very important in the context of fuzzy logic, for it is used in modeling a general form of the propositional conjunction. The basic fuzzy logic (BL logic) was introduced by Hájek in [9,10] and it was inspired by a continuous t-norm and its resid...
متن کاملNumber-free Mathematics Based on T-norm Fuzzy Logic
The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers are eliminated from definitions and theorems, being removed to the standard semantics of fuzzy logic. Several examples demonstrate how this move conceptually simplifies the theory in exchange for non-classical reasoning, facilit...
متن کامل